Tweak version check for 1.4.0

diff --git a/gui/preferences.cpp b/gui/preferences.cpp
index 5366420e944724f06d231f85514c46904174372a..3c57f448dd7817484edd111747b6b5e7c19ab714 100644 (file)
--- a/gui/preferences.cpp
+++ b/gui/preferences.cpp
@@ -41,6 +41,9 @@ Preferences::Preferences(QWidget* parent, QList<Format>& formatList,
   ui_.startupCheck->setChecked(bd_.startupVersionCheck);
   ui_.reportStatisticsCheck->setChecked(bd_.reportStatistics);
   ui_.ignoreVersionMismatchCheck->setChecked(bd_.ignoreVersionMismatch);
+  // Because of an unfortunate bug in 1.4.0, we turn this off in 1.4.1.
+  if (VERSION == "1.4.1") 
+    bd_.ignoreVersionMismatch = false;
 
   connect (ui_.buttonBox, SIGNAL(accepted()), this, SLOT(acceptClicked()));
   connect (ui_.buttonBox, SIGNAL(rejected()), this, SLOT(rejectClicked()));